Es sind auch andere Beweise bekannt. So lässt sich der Satz beweistheoretisch durch die Vollständigkeit des schnittfreien Sequenzenkalküls zeigen, indem aus einer schnittfreien Herleitung die Einführungen der Quantoren beseitigt werden, sodass man die Herleitung einer Sequenz aus quantorenfreien Instanzen erhält. == Korollare == == Anwendung ...